<!DOCTYPE html>
<html class="theme-green">

  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
    <title>main.cpp - GCC Code Coverage Report</title>
    <meta name="viewport" content="width=device-width, initial-scale=1.0"/>
    <link rel="stylesheet" href="coverage.css"/>
  </head>

  <body>

    <header>
      <h1>GCC Code Coverage Report</h1>
      <hr/>
      <div class="summary">
<div>
  <table class="legend">
    <tr>
      <th scope="row">Directory:</th>
      <td>./</td>
    </tr>
    <tr>
      <th scope="row">File:</th>
      <td>main.cpp</td>
    </tr>
    <tr>
      <th scope="row">Date:</th>
      <td>2025-09-28 18:09:21+00:00</td>
    </tr>
    <tr>
      <th scope="row">Warnings:</th>
      <td class="warning_text">3 unchecked decisions!</td>
    </tr>
  </table>
</div>
<div>
  <table class="coverage">
    <tr>
      <th></th>
      <th scope="col">Coverage</th>
      <th scope="col">Exec</th>
      <th scope="col">Excl</th>
      <th scope="col">Total</th>
    </tr>
    <tr>
      <th scope="row">Lines:</th>
      <td class="coverage-medium">87.4%</td>
      <td class="coverage-medium">181</td>
      <td class="coverage-medium">0</td>
      <td class="coverage-medium">207</td>
    </tr>
    <tr>
      <th scope="row">Functions:</th>
      <td class="coverage-high">100.0%</td>
      <td class="coverage-high">34</td>
      <td class="coverage-high">0</td>
      <td class="coverage-high">34</td>
    </tr>
    <tr>
      <th scope="row">Branches:</th>
      <td class="coverage-low">52.7%</td>
      <td class="coverage-low">49</td>
      <td class="coverage-low">0</td>
      <td class="coverage-low">93</td>
    </tr>
    <tr>
      <th scope="row">Decisions:</th>
      <td class="coverage-low">50.7%</td>
      <td class="coverage-low">35</td>
      <td class="coverage-low">-</td>
      <td class="coverage-low">69</td>
    </tr>
  </table>
</div>
      </div>
      <hr/>
    </header>
    <nav>
<details>
  <summary>List of functions</summary>
  <table class="listOfFunctions">
    <tr>
      <th>Function (Line)</th>
      <th>Call count</th>
      <th>Line coverage</th>
      <th>Branch coverage</th>
      <th>Block coverage</th>
    </tr>
    <tr><td><a href="#l140">_Z12checkElseIf1i (line 140)</a></td><td>called 1 time</td><td>57.1%</td><td>25.0%</td><td>57.0%</td></tr>
    <tr><td><a href="#l156">_Z12checkElseIf2i (line 156)</a></td><td>called 1 time</td><td>71.4%</td><td>50.0%</td><td>71.0%</td></tr>
    <tr><td><a href="#l172">_Z12checkElseIf3i (line 172)</a></td><td>called 1 time</td><td>71.4%</td><td>50.0%</td><td>71.0%</td></tr>
    <tr><td><a href="#l293">_Z12checkForLoopi (line 293)</a></td><td>called 1 time</td><td>100.0%</td><td>100.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l188">_Z12checkSwitch1i (line 188)</a></td><td>called 1 time</td><td>66.7%</td><td>33.3%</td><td>66.0%</td></tr>
    <tr><td><a href="#l209">_Z12checkSwitch2i (line 209)</a></td><td>called 1 time</td><td>66.7%</td><td>33.3%</td><td>66.0%</td></tr>
    <tr><td><a href="#l225">_Z12checkSwitch3i (line 225)</a></td><td>called 1 time</td><td>66.7%</td><td>33.3%</td><td>66.0%</td></tr>
    <tr><td><a href="#l68">_Z14checkEqualTruei (line 68)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l313">_Z14checkWhileLoopi (line 313)</a></td><td>called 1 time</td><td>100.0%</td><td>100.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l32">_Z15checkBiggerBothi (line 32)</a></td><td>called 2 times</td><td>100.0%</td><td>100.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l8">_Z15checkBiggerTruei (line 8)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l80">_Z15checkEqualFalsei (line 80)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l20">_Z16checkBiggerFalsei (line 20)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l116">_Z16checkComplexTruei (line 116)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>85.0%</td></tr>
    <tr><td><a href="#l327">_Z16checkDoWhileLoopi (line 327)</a></td><td>called 1 time</td><td>100.0%</td><td>100.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l341">_Z16checkInterpreteri (line 341)</a></td><td>called 1 time</td><td>92.3%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l44">_Z16checkSmallerTruei (line 44)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l365">_Z16verify_issue_679b (line 365)</a></td><td>called 2 times</td><td>100.0%</td><td>100.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l128">_Z17checkComplexFalsei (line 128)</a></td><td>called 1 time</td><td>80.0%</td><td>33.3%</td><td>71.0%</td></tr>
    <tr><td><a href="#l92">_Z17checkNotEqualTruei (line 92)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l56">_Z17checkSmallerFalsei (line 56)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l281">_Z17checkSplittedTruei (line 281)</a></td><td>called 1 time</td><td>75.0%</td><td>50.0%</td><td>71.0%</td></tr>
    <tr><td><a href="#l261">_Z17checkTernary1Truei (line 261)</a></td><td>called 1 time</td><td>100.0%</td><td>-%</td><td>100.0%</td></tr>
    <tr><td><a href="#l271">_Z17checkTernary2Truei (line 271)</a></td><td>called 1 time</td><td>100.0%</td><td>50.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l104">_Z18checkNotEqualFalsei (line 104)</a></td><td>called 1 time</td><td>80.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l287">_Z18checkSplittedFalsei (line 287)</a></td><td>called 1 time</td><td>100.0%</td><td>25.0%</td><td>57.0%</td></tr>
    <tr><td><a href="#l266">_Z18checkTernary1Falsei (line 266)</a></td><td>called 1 time</td><td>100.0%</td><td>-%</td><td>100.0%</td></tr>
    <tr><td><a href="#l276">_Z18checkTernary2Falsei (line 276)</a></td><td>called 1 time</td><td>100.0%</td><td>50.0%</td><td>75.0%</td></tr>
    <tr><td><a href="#l303">_Z19checkComplexForLoopi (line 303)</a></td><td>called 1 time</td><td>100.0%</td><td>100.0%</td><td>100.0%</td></tr>
    <tr><td><a href="#l241">_Z23checkCompactBranch1Truei (line 241)</a></td><td>called 1 time</td><td>100.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l251">_Z23checkCompactBranch2Truei (line 251)</a></td><td>called 1 time</td><td>100.0%</td><td>50.0%</td><td>83.0%</td></tr>
    <tr><td><a href="#l246">_Z24checkCompactBranch1Falsei (line 246)</a></td><td>called 1 time</td><td>100.0%</td><td>50.0%</td><td>80.0%</td></tr>
    <tr><td><a href="#l256">_Z24checkCompactBranch2Falsei (line 256)</a></td><td>called 1 time</td><td>100.0%</td><td>25.0%</td><td>66.0%</td></tr>
    <tr><td><a href="#l372">main (line 372)</a></td><td>called 1 time</td><td>97.4%</td><td>50.0%</td><td>60.0%</td></tr>
  </table>
</details>

    </nav>
    <main>
<div class="file-source">
  <table>
    <tr>
      <th align="right">Line</th>
      <th align="right">Branch</th>
      <th align="right">Decision</th>
      <th align="right">Exec</th>
      <th align="left" style="width: 100%;">Source</th>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l1" href="#l1">1</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#include</span><span class="w"> </span><span class="cpf">&quot;stdint.h&quot;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l2" href="#l2">2</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#include</span><span class="w"> </span><span class="cpf">&quot;stdbool.h&quot;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l3" href="#l3">3</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l4" href="#l4">4</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#if (defined __GNUC__ &amp;&amp; (__GNUC__ &gt;= 6)) || (defined __clang_major__)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l5" href="#l5">5</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#include</span><span class="w"> </span><span class="cpf">&quot;switch_test.h&quot;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l6" href="#l6">6</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#endif</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l7" href="#l7">7</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l8" href="#l8">8</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkBiggerTrue</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l9" href="#l9">9</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l10" href="#l10">10</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l11" href="#l11">11</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l12" href="#l12">12</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l13" href="#l13">13</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l14" href="#l14">14</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l15" href="#l15">15</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l16" href="#l16">16</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l17" href="#l17">17</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l18" href="#l18">18</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l19" href="#l19">19</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l20" href="#l20">20</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkBiggerFalse</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l21" href="#l21">21</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l22" href="#l22">22</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l23" href="#l23">23</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l24" href="#l24">24</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l25" href="#l25">25</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l26" href="#l26">26</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l27" href="#l27">27</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l28" href="#l28">28</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l29" href="#l29">29</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l30" href="#l30">30</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l31" href="#l31">31</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l32" href="#l32">32</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">2</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkBiggerBoth</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l33" href="#l33">33</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l34" href="#l34">34</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">2/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">2</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l35" href="#l35">35</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l36" href="#l36">36</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l37" href="#l37">37</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l38" href="#l38">38</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l39" href="#l39">39</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l40" href="#l40">40</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l41" href="#l41">41</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l42" href="#l42">42</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">2</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l43" href="#l43">43</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l44" href="#l44">44</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSmallerTrue</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l45" href="#l45">45</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l46" href="#l46">46</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l47" href="#l47">47</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l48" href="#l48">48</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l49" href="#l49">49</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l50" href="#l50">50</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l51" href="#l51">51</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l52" href="#l52">52</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l53" href="#l53">53</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l54" href="#l54">54</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l55" href="#l55">55</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l56" href="#l56">56</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSmallerFalse</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l57" href="#l57">57</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l58" href="#l58">58</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l59" href="#l59">59</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l60" href="#l60">60</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l61" href="#l61">61</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l62" href="#l62">62</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l63" href="#l63">63</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l64" href="#l64">64</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l65" href="#l65">65</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l66" href="#l66">66</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l67" href="#l67">67</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l68" href="#l68">68</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkEqualTrue</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l69" href="#l69">69</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l70" href="#l70">70</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l71" href="#l71">71</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l72" href="#l72">72</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l73" href="#l73">73</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l74" href="#l74">74</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l75" href="#l75">75</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l76" href="#l76">76</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l77" href="#l77">77</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l78" href="#l78">78</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l79" href="#l79">79</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l80" href="#l80">80</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkEqualFalse</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l81" href="#l81">81</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l82" href="#l82">82</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l83" href="#l83">83</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l84" href="#l84">84</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l85" href="#l85">85</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l86" href="#l86">86</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l87" href="#l87">87</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l88" href="#l88">88</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l89" href="#l89">89</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l90" href="#l90">90</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l91" href="#l91">91</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l92" href="#l92">92</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkNotEqualTrue</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l93" href="#l93">93</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l94" href="#l94">94</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">!=</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l95" href="#l95">95</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l96" href="#l96">96</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l97" href="#l97">97</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l98" href="#l98">98</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l99" href="#l99">99</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l100" href="#l100">100</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l101" href="#l101">101</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l102" href="#l102">102</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l103" href="#l103">103</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l104" href="#l104">104</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkNotEqualFalse</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l105" href="#l105">105</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l106" href="#l106">106</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">!=</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l107" href="#l107">107</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l108" href="#l108">108</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l109" href="#l109">109</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l110" href="#l110">110</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l111" href="#l111">111</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l112" href="#l112">112</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l113" href="#l113">113</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l114" href="#l114">114</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l115" href="#l115">115</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l116" href="#l116">116</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkComplexTrue</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l117" href="#l117">117</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l118" href="#l118">118</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">3/6</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
            <div class="takenBranch">&check; Branch 2 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 3 not taken.</div>
            <div class="takenBranch">&check; Branch 4 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 5 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">||</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">))</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l119" href="#l119">119</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l120" href="#l120">120</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l121" href="#l121">121</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l122" href="#l122">122</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l123" href="#l123">123</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l124" href="#l124">124</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l125" href="#l125">125</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l126" href="#l126">126</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l127" href="#l127">127</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l128" href="#l128">128</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkComplexFalse</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l129" href="#l129">129</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l130" href="#l130">130</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/6</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
            <div class="notTakenBranch">&cross; Branch 2 not taken.</div>
            <div class="takenBranch">&check; Branch 3 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 4 not taken.</div>
            <div class="notTakenBranch">&cross; Branch 5 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">||</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">))</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l131" href="#l131">131</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l132" href="#l132">132</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l133" href="#l133">133</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l134" href="#l134">134</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l135" href="#l135">135</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l136" href="#l136">136</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l137" href="#l137">137</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l138" href="#l138">138</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l139" href="#l139">139</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l140" href="#l140">140</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkElseIf1</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l141" href="#l141">141</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l142" href="#l142">142</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l143" href="#l143">143</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l144" href="#l144">144</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l145" href="#l145">145</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l146" href="#l146">146</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">   </span><span class="k">else</span><span class="w"> </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">9</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l147" href="#l147">147</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l148" href="#l148">148</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l149" href="#l149">149</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l150" href="#l150">150</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l151" href="#l151">151</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l152" href="#l152">152</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l153" href="#l153">153</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l154" href="#l154">154</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l155" href="#l155">155</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l156" href="#l156">156</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkElseIf2</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l157" href="#l157">157</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l158" href="#l158">158</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l159" href="#l159">159</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l160" href="#l160">160</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l161" href="#l161">161</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l162" href="#l162">162</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">else</span><span class="w"> </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l163" href="#l163">163</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l164" href="#l164">164</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l165" href="#l165">165</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l166" href="#l166">166</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l167" href="#l167">167</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l168" href="#l168">168</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l169" href="#l169">169</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l170" href="#l170">170</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l171" href="#l171">171</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l172" href="#l172">172</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkElseIf3</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l173" href="#l173">173</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l174" href="#l174">174</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l175" href="#l175">175</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l176" href="#l176">176</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l177" href="#l177">177</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l178" href="#l178">178</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">else</span><span class="w"> </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l179" href="#l179">179</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l180" href="#l180">180</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l181" href="#l181">181</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l182" href="#l182">182</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">else</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l183" href="#l183">183</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l184" href="#l184">184</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l185" href="#l185">185</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l186" href="#l186">186</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l187" href="#l187">187</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l188" href="#l188">188</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSwitch1</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l189" href="#l189">189</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l190" href="#l190">190</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/3</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
            <div class="notTakenBranch">&cross; Branch 2 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">switch</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l191" href="#l191">191</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l192" href="#l192">192</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/1</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">case</span><span class="w"> </span><span class="mi">5</span><span class="p">:</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span><span class="w"> </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l193" href="#l193">193</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l194" href="#l194">194</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">case</span><span class="w"> </span><span class="mi">10</span><span class="p">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l195" href="#l195">195</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l196" href="#l196">196</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l197" href="#l197">197</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l198" href="#l198">198</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l199" href="#l199">199</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l200" href="#l200">200</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">default</span><span class="o">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l201" href="#l201">201</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l202" href="#l202">202</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l203" href="#l203">203</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l204" href="#l204">204</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l205" href="#l205">205</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="cm">/* Comment */</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l206" href="#l206">206</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l207" href="#l207">207</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l208" href="#l208">208</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l209" href="#l209">209</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSwitch2</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l210" href="#l210">210</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l211" href="#l211">211</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/3</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 2 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">switch</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l212" href="#l212">212</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l213" href="#l213">213</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">case</span><span class="w"> </span><span class="mi">5</span><span class="p">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l214" href="#l214">214</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l215" href="#l215">215</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l216" href="#l216">216</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">case</span><span class="w"> </span><span class="mi">10</span><span class="p">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l217" href="#l217">217</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/1</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l218" href="#l218">218</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l219" href="#l219">219</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">default</span><span class="o">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l220" href="#l220">220</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l221" href="#l221">221</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l222" href="#l222">222</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l223" href="#l223">223</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l224" href="#l224">224</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l225" href="#l225">225</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSwitch3</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l226" href="#l226">226</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l227" href="#l227">227</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/3</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
            <div class="takenBranch">&check; Branch 2 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">switch</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l228" href="#l228">228</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l229" href="#l229">229</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">case</span><span class="w"> </span><span class="mi">5</span><span class="p">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l230" href="#l230">230</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l231" href="#l231">231</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l232" href="#l232">232</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">case</span><span class="w"> </span><span class="mi">10</span><span class="p">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l233" href="#l233">233</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l234" href="#l234">234</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l235" href="#l235">235</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="k">default</span><span class="o">:</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l236" href="#l236">236</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/1</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l237" href="#l237">237</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">      </span><span class="k">break</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l238" href="#l238">238</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l239" href="#l239">239</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l240" href="#l240">240</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l241" href="#l241">241</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkCompactBranch1True</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l242" href="#l242">242</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l243" href="#l243">243</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="k">else</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span><span class="w"> </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l244" href="#l244">244</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l245" href="#l245">245</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l246" href="#l246">246</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkCompactBranch1False</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l247" href="#l247">247</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l248" href="#l248">248</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="k">else</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span><span class="w"> </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l249" href="#l249">249</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l250" href="#l250">250</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l251" href="#l251">251</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkCompactBranch2True</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l252" href="#l252">252</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l253" href="#l253">253</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/4</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
            <div class="takenBranch">&check; Branch 2 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 3 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">0/1</summary>
          <div class="linedecisionContents">
            <div class="uncheckedDecision">? Decision couldn't be analyzed.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="k">else</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span><span class="w"> </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l254" href="#l254">254</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l255" href="#l255">255</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l256" href="#l256">256</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkCompactBranch2False</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l257" href="#l257">257</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l258" href="#l258">258</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/4</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 2 not taken.</div>
            <div class="notTakenBranch">&cross; Branch 3 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">0/1</summary>
          <div class="linedecisionContents">
            <div class="uncheckedDecision">? Decision couldn't be analyzed.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="k">else</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span><span class="w"> </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l259" href="#l259">259</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l260" href="#l260">260</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l261" href="#l261">261</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkTernary1True</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l262" href="#l262">262</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l263" href="#l263">263</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="nb">true</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l264" href="#l264">264</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l265" href="#l265">265</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l266" href="#l266">266</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkTernary1False</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l267" href="#l267">267</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l268" href="#l268">268</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="nb">true</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l269" href="#l269">269</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l270" href="#l270">270</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l271" href="#l271">271</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkTernary2True</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l272" href="#l272">272</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l273" href="#l273">273</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="nb">true</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l274" href="#l274">274</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l275" href="#l275">275</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l276" href="#l276">276</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkTernary2False</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l277" href="#l277">277</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l278" href="#l278">278</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="nb">true</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l279" href="#l279">279</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l280" href="#l280">280</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l281" href="#l281">281</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSplittedTrue</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l282" href="#l282">282</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l283" href="#l283">283</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/4</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
            <div class="takenBranch">&check; Branch 2 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 3 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="notTakenDecision">&cross; Decision 'true' not taken.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span><span class="w"> </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l284" href="#l284">284</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l285" href="#l285">285</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l286" href="#l286">286</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l287" href="#l287">287</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkSplittedFalse</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l288" href="#l288">288</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l289" href="#l289">289</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/4</summary>
          <div class="linebranchContents">
            <div class="notTakenBranch">&cross; Branch 0 not taken.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 2 not taken.</div>
            <div class="notTakenBranch">&cross; Branch 3 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span><span class="w"> </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">)</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l290" href="#l290">290</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l291" href="#l291">291</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l292" href="#l292">292</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l293" href="#l293">293</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">int</span><span class="w"> </span><span class="nf">checkForLoop</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l294" href="#l294">294</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l295" href="#l295">295</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">int</span><span class="w"> </span><span class="n">temp</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l296" href="#l296">296</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 5 times.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">2/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 5 times.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">6</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">for</span><span class="w"> </span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="n">a</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">++</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l297" href="#l297">297</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l298" href="#l298">298</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">temp</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">a</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l299" href="#l299">299</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l300" href="#l300">300</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="n">temp</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l301" href="#l301">301</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l302" href="#l302">302</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l303" href="#l303">303</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">int</span><span class="w"> </span><span class="nf">checkComplexForLoop</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l304" href="#l304">304</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l305" href="#l305">305</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">int</span><span class="w"> </span><span class="n">temp</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l306" href="#l306">306</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">4/4</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 5 times.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
            <div class="takenBranch">&check; Branch 2 taken 5 times.</div>
            <div class="takenBranch">&check; Branch 3 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">0/1</summary>
          <div class="linedecisionContents">
            <div class="uncheckedDecision">? Decision couldn't be analyzed.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">6</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">for</span><span class="w"> </span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">6</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">++</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l307" href="#l307">307</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l308" href="#l308">308</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">temp</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">a</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l309" href="#l309">309</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l310" href="#l310">310</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="n">temp</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l311" href="#l311">311</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l312" href="#l312">312</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l313" href="#l313">313</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">int</span><span class="w"> </span><span class="nf">checkWhileLoop</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l314" href="#l314">314</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l315" href="#l315">315</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">int</span><span class="w"> </span><span class="n">temp</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l316" href="#l316">316</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">int</span><span class="w"> </span><span class="n">counter</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l317" href="#l317">317</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l318" href="#l318">318</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 5 times.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">2/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 5 times.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">6</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">while</span><span class="w"> </span><span class="p">(</span><span class="n">counter</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l319" href="#l319">319</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l320" href="#l320">320</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">counter</span><span class="o">++</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l321" href="#l321">321</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">temp</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">a</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l322" href="#l322">322</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l323" href="#l323">323</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l324" href="#l324">324</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="n">temp</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l325" href="#l325">325</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l326" href="#l326">326</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l327" href="#l327">327</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">int</span><span class="w"> </span><span class="nf">checkDoWhileLoop</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l328" href="#l328">328</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l329" href="#l329">329</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">int</span><span class="w"> </span><span class="n">temp</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l330" href="#l330">330</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">int</span><span class="w"> </span><span class="n">counter</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l331" href="#l331">331</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l332" href="#l332">332</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">do</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l333" href="#l333">333</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l334" href="#l334">334</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">counter</span><span class="o">++</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l335" href="#l335">335</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">temp</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">a</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l336" href="#l336">336</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 4 times.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">2/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 4 times.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">5</td>
      <td class="src coveredLine"><span class="w">   </span><span class="p">}</span><span class="w"> </span><span class="k">while</span><span class="w"> </span><span class="p">(</span><span class="n">counter</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="n">a</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l337" href="#l337">337</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l338" href="#l338">338</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="n">temp</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l339" href="#l339">339</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l340" href="#l340">340</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l341" href="#l341">341</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">bool</span><span class="w"> </span><span class="nf">checkInterpreter</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l342" href="#l342">342</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l343" href="#l343">343</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">char</span><span class="w"> </span><span class="n">test1</span><span class="p">[]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot; while &quot;</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l344" href="#l344">344</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">a</span><span class="o">++</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l345" href="#l345">345</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l346" href="#l346">346</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">char</span><span class="w"> </span><span class="n">test2</span><span class="p">[]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot; for &quot;</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l347" href="#l347">347</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l348" href="#l348">348</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="n">a</span><span class="o">++</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l349" href="#l349">349</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l350" href="#l350">350</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l351" href="#l351">351</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">char</span><span class="w"> </span><span class="n">test3</span><span class="p">[]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot; if(&quot;</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l352" href="#l352">352</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">a</span><span class="o">++</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l353" href="#l353">353</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l354" href="#l354">354</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="kt">char</span><span class="w"> </span><span class="n">test4</span><span class="p">[]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot; do &quot;</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l355" href="#l355">355</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">a</span><span class="o">++</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l356" href="#l356">356</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l357" href="#l357">357</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">1/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="notTakenDecision">&cross; Decision 'false' not taken.</div>
          </div>
        </details>
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">&gt;</span><span class="w"> </span><span class="mi">5</span><span class="p">)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l358" href="#l358">358</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l359" href="#l359">359</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="nb">true</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l360" href="#l360">360</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="w">   </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l361" href="#l361">361</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l362" href="#l362">362</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="nb">false</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l363" href="#l363">363</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l364" href="#l364">364</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l365" href="#l365">365</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">2</td>
      <td class="src coveredLine"><span class="kt">void</span><span class="w"> </span><span class="nf">verify_issue_679</span><span class="p">(</span><span class="k">const</span><span class="w"> </span><span class="kt">bool</span><span class="w"> </span><span class="n">b</span><span class="p">)</span><span class="w"> </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l366" href="#l366">366</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">2/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 1 time.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">2</td>
      <td class="src coveredLine"><span class="w">  </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">b</span><span class="p">)</span><span class="w"> </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l367" href="#l367">367</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">2/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 10 times.</div>
            <div class="takenBranch">&check; Branch 1 taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
        <details class="linedecisionDetails">
          <summary class="linedecisionSummary">2/2</summary>
          <div class="linedecisionContents">
            <div class="takenDecision">&check; Decision 'true' taken 10 times.</div>
            <div class="takenDecision">&check; Decision 'false' taken 1 time.</div>
          </div>
        </details>
      </td>
      <td class="linecount coveredLine">11</td>
      <td class="src coveredLine"><span class="w">    </span><span class="k">for</span><span class="w"> </span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">++</span><span class="p">)</span><span class="w"> </span><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l368" href="#l368">368</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">10</td>
      <td class="src coveredLine"><span class="w">    </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l369" href="#l369">369</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">  </span><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l370" href="#l370">370</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">2</td>
      <td class="src coveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l371" href="#l371">371</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l372" href="#l372">372</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">argc</span><span class="p">,</span><span class="w"> </span><span class="kt">char</span><span class="w"> </span><span class="o">*</span><span class="n">argv</span><span class="p">[])</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l373" href="#l373">373</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="p">{</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l374" href="#l374">374</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkBiggerTrue</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l375" href="#l375">375</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkBiggerFalse</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l376" href="#l376">376</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkBiggerBoth</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l377" href="#l377">377</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkBiggerBoth</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l378" href="#l378">378</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l379" href="#l379">379</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSmallerTrue</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l380" href="#l380">380</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSmallerFalse</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l381" href="#l381">381</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l382" href="#l382">382</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkEqualTrue</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l383" href="#l383">383</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkEqualFalse</span><span class="p">(</span><span class="mi">2</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l384" href="#l384">384</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l385" href="#l385">385</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkNotEqualTrue</span><span class="p">(</span><span class="mi">2</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l386" href="#l386">386</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkNotEqualFalse</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l387" href="#l387">387</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l388" href="#l388">388</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkComplexTrue</span><span class="p">(</span><span class="mi">8</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l389" href="#l389">389</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkComplexFalse</span><span class="p">(</span><span class="mi">2</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l390" href="#l390">390</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l391" href="#l391">391</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkElseIf1</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l392" href="#l392">392</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkElseIf2</span><span class="p">(</span><span class="mi">10</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l393" href="#l393">393</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkElseIf3</span><span class="p">(</span><span class="mi">0</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l394" href="#l394">394</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l395" href="#l395">395</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSwitch1</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l396" href="#l396">396</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSwitch2</span><span class="p">(</span><span class="mi">10</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l397" href="#l397">397</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSwitch3</span><span class="p">(</span><span class="mi">0</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l398" href="#l398">398</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l399" href="#l399">399</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#if (defined __GNUC__ &amp;&amp; (__GNUC__ &gt;= 6)) || (defined __clang_major__)</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l400" href="#l400">400</a></td>
      <td class="linebranch">
        <details class="linebranchDetails">
          <summary class="linebranchSummary">1/2</summary>
          <div class="linebranchContents">
            <div class="takenBranch">&check; Branch 0 taken 1 time.</div>
            <div class="notTakenBranch">&cross; Branch 1 not taken.</div>
          </div>
        </details>
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount partialCoveredLine">1</td>
      <td class="src partialCoveredLine"><span class="w">   </span><span class="n">SwitchTestIssue783</span><span class="p">().</span><span class="n">checkSwitch</span><span class="p">();</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l401" href="#l401">401</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "><span class="cp">#endif</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l402" href="#l402">402</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l403" href="#l403">403</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkCompactBranch1True</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l404" href="#l404">404</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkCompactBranch1False</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l405" href="#l405">405</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l406" href="#l406">406</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkCompactBranch2True</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l407" href="#l407">407</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkCompactBranch2False</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l408" href="#l408">408</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l409" href="#l409">409</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkTernary1True</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l410" href="#l410">410</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkTernary1False</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l411" href="#l411">411</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l412" href="#l412">412</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkTernary2True</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l413" href="#l413">413</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkTernary2False</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l414" href="#l414">414</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l415" href="#l415">415</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSplittedTrue</span><span class="p">(</span><span class="mi">6</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l416" href="#l416">416</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkSplittedFalse</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l417" href="#l417">417</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l418" href="#l418">418</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkForLoop</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l419" href="#l419">419</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkComplexForLoop</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l420" href="#l420">420</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkWhileLoop</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l421" href="#l421">421</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkDoWhileLoop</span><span class="p">(</span><span class="mi">5</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l422" href="#l422">422</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l423" href="#l423">423</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">checkInterpreter</span><span class="p">(</span><span class="mi">2</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l424" href="#l424">424</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l425" href="#l425">425</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">verify_issue_679</span><span class="p">(</span><span class="nb">false</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l426" href="#l426">426</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="n">verify_issue_679</span><span class="p">(</span><span class="nb">true</span><span class="p">);</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l427" href="#l427">427</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l428" href="#l428">428</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount coveredLine">1</td>
      <td class="src coveredLine"><span class="w">   </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l429" href="#l429">429</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount uncoveredLine">&cross;</td>
      <td class="src uncoveredLine"><span class="p">}</span></td>
    </tr>
    <tr class="source-line">
      <td class="lineno"><a id="l430" href="#l430">430</a></td>
      <td class="linebranch">
      </td>
      <td class="linedecision">
      </td>
      <td class="linecount "></td>
      <td class="src "></td>
    </tr>
  </table>
</div>
      <hr/>
    </main>
    <footer>
      Generated by: <a href="http://gcovr.com/en/main">GCOVR (Version 8.4+main)</a>
    </footer>
  </body>
</html>
